Sfoglia per Rivista THEORETICAL COMPUTER SCIENCE
On the Expressive Power of Klaim-based Calculi
2006-01-01 DE NICOLA, R; D., Gorla; R., Pugliese
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
Reversibility in the higher-order {\(\pi\)}-calculus
2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani
Semantic subtyping for the pi-calculus
2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca
Symbolic computation of differential equivalences
2019-01-01 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Testing Equivalences for Processes
1984-01-01 DE NICOLA, R; M., Hennessy
Types for Access Control
2000-01-01 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Universal Axioms for Bisimulations
1993-01-01 P., Degano; DE NICOLA, R; U., Montanari
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the Expressive Power of Klaim-based Calculi | 1-gen-2006 | DE NICOLA, R; D., Gorla; R., Pugliese | |
Relating strong behavioral equivalences for processes with nondeterminism and probabilities | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
Reversibility in the higher-order {\(\pi\)}-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani | |
Semantic subtyping for the pi-calculus | 1-gen-2008 | G., Castagna; DE NICOLA, R; D., Varacca | |
Symbolic computation of differential equivalences | 1-gen-2019 | Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
Tackling continuous state-space explosion in a Markovian process algebra | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
Testing Equivalences for Processes | 1-gen-1984 | DE NICOLA, R; M., Hennessy | |
Types for Access Control | 1-gen-2000 | R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B. | |
Universal Axioms for Bisimulations | 1-gen-1993 | P., Degano; DE NICOLA, R; U., Montanari |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile